/**
 * This SCRIPT should be placed just before the close of the BODY element
 * in your (X)HTML document. It may be deferred.
 *
 * Scripts that take advantage of 'ondomload' may come before or after
 * this SCRIPT and may be either deferred or not deferred.
 *
 * USAGE:
 * if (typeof ondomload == 'undefined') ondomload = [];
 * ondomload.push(function() {
 *   alert('This will execute on DOM load');
 * });
 */
if (typeof ondomload == 'undefined') {
  ondomload = {};
} else {
  while (ondomload.length)
    setTimeout(ondomload.shift(), 0);
}
ondomload.push = function(cb) { return cb() };
